Synthesizing Bots Emotional Behaviors through Fuzzy Cognitive Processes Giovanni Acampora, Member, IEEE, Fabio Ferraguto, and Vincenzo Loia , Senior Member, IEEE Abstract— Video games are one of the most significative

Source URL: game.itu.dk

• Artificial intelligence
• Control engineering
• Fuzzy logic
• Logic in computer science
• Fuzzy control system
• Timed automaton
• Petri net
• Control system
• Finite-state machine
• Emotion
• Computational intelligence

Towards Timed Models for Cyber-Physical Security Protocols Max Kanovich∗ , Tajana Ban Kirigin† , Vivek Nigam‡ , Andre Scedrov§ and Carolyn Talcott¶ ∗ ∗

Source URL: software.imdea.org

• Multiplexing
• Concurrency
• Diagrams
• Petri net
• T-carrier
• Finite topological space
• Relaxation
• Futures and promises
• Mathematics
• Abstraction
• Software engineering

CompoNet 2012 Petri Net Compositions Hanna Klaudel and Franck Pommereau Tuesday, 26th June 09:00 - Invited Talk (Room B-201 Informatics Campus):

Source URL: www.informatik.uni-hamburg.de

Dense-Timed Pushdown Automata Parosh Aziz Abdulla Mohamed Faouzi Atig Jari Stenman

Source URL: user.it.uu.se

• Models of computation
• Pushdown automaton
• Software engineering
• Theoretical computer science
• Timed automaton
• Stack
• Petri net
• Clock
• Exponentiation
• Abstraction
• Nested word
• Nested stack automaton

Timed Lossy Channel Systems Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , and Jonathan Cederberg1 1 Uppsala University, Sweden

Source URL: user.it.uu.se

• Symbol
• KMAX
• Petri net
• XC
• Software engineering
• Computing
• Software

Pencil: A Petri Net Specification Language for Java Christopher Conway Cheng-Hong Li 3 December 2002

Source URL: www1.cs.columbia.edu

Table of Contents Session 1 Turbo Compressor Modelling with Fuzzy Petri net 1

Source URL: www.icebs.org

• Lszl Nagy
• Ahad
• Kazi
• Nagy
• Canon law
• Genealogy

Characterization of Petri Net Languages J¨org P. Bachmann Humboldt-Universit¨ at zu Berlin Abstract. This work treats the relationship between Petri Nets and languages. In 2003, Darondeau solved the Petri Net synthesis

Source URL: csp2011.mimuw.edu.pl

46 Genome Informatics 17(1): 46–Genomic Data Assimilation for Estimating Hybrid Functional Petri Net from Time-Course Gene

Source URL: www.jsbi.org

Protein Dynamics Observations of Lambda Phage by Hybrid Petri Net Atsushi Doi 1

Source URL: www.jsbi.org